Доказательство «от противного» (лат. contradictio in contrarium) в математике — один из самых часто используемых методов доказательства утверждений. Доказательство от противного — вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике.
Все значения словосочетания «доказательство от противного»Большое применение находит закон исключённого третьего в процессе доказательства, например доказательства от противного.
Получалось настоящее, принятое в науке доказательство от противного.
Государственные мужи и дщери поныне исповедуют то же самое, правда, по большей части тайком или оснащаясь методом доказательства от противного: где нет меня, не может случаться ничего существенного.